对于状态 $i$,

考虑母函数

其中最后一步可参考高数笔记. 从而有

于是当且仅当 $p = \dfrac{1}{2}$ 时 $i$ 是常返的, 从而该等价类常返. 证毕.